Matériel et logiciel pour l'évaluation de fonctions numériques :précision, performance et validation
نویسنده
چکیده
présenté le 28 juin 2007, après avis des rapporteurs Jean-Claude BAJARD, Professeur, Université de Montpellier 2 Miloš ERCEGOVAC, Professor, University of California, Los Angeles Paul ZIMMERMANN, Directeur de Recherche, INRIA devant le jury composé de Jean-Claude BAJARD, Professeur, Université de Montpellier 2 Bernard GOOSSENS, Professeur, Université de Perpignan Peter MARKSTEIN, Senior Engineer, Hewlett Packard Jean-Michel MOREAU, Professeur, Université Claude Bernard Lyon 1 Jean-Michel MULLER, Directeur de Recherche, CNRS Paul ZIMMERMANN, Directeur de Recherche, INRIA
منابع مشابه
A Framework for Modelling and Performance Analysis of Multiprocessor Embedded Systems: Models and Benefits
We present a framework and tools for modelling and performance analysis of multiprocessor embedded systems. Our framework consists of component-based models for modelling parallel software and multiprocessor hardware, and tools for code generation and performance analysis. The framework allows jointly analyzing software and hardware performance rather than evaluating each one in isolation. This...
متن کاملDifférentiation automatique et formes de Taylor en analyse statique de programmes numériques
Résumé Des travaux récents sur l’analyse statique de programmes numériques ont montré que les techniques d’interprétation abstraite étaient adaptées à la validation de la précision des calculs en arithmétique flottante. L’utilisation des intervalles comme domaine numérique, même avec des méthodes de subdivision, induit une sur-approximation des résultats en particulier par l’existence de l’effe...
متن کاملCHASSIS — Une Plate - forme pour la Construction de Systèmes d ’ Information
Les systèmes d’information d’aujourd’hui ont de plus en plus la nécessité d’être ouverts. Ceci implique qu’ils doivent répondre aux besoins de réseaux ouverts, de logiciel et de matériel hétérogènes et “inter-opérables,” et, surtout, à des besoins évolutifs et changeants. Le projet CHASSIS vise le développement d’un cadre informatique et méthodologique pour (i) la conception et la construction ...
متن کاملMOKA, modélisation et planification de capacité pour les systèmes multi-étagés
Bien que les hébergeurs d’applications multi-étagées basées sur grappe de machines permettent de passer à l’échelle les applications Web, leur configuration ad-hoc pose des problèmes en terme de performance et de coût de fonctionnement pour les applications. Cet article présente la conception et l’implémentation de MoKa, un canevas logiciel pour la modélisation, la gestion de ressources et la c...
متن کاملUtilisation de SysML pour la modélisation des réseaux de capteurs
Résumé. SysML est le nouveau langage de modélisation défini par l’OMG. Il peut être vu comme une extension d’UML destinée à la modélisation d’un large spectre de systèmes complexes. Son champ d’application est en ce sens plus large que celui d’UML mais sa filiation le rend tout particulièrement intéressant pour la modélisation de systèmes embarqués majoritairement composés de logiciel. Les logi...
متن کامل